Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
51	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
52	Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical Res Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-05-23 07:03:44 Logic Quantification Mathematical logic Semantics Abstraction Predicate logic Model theory Finite model theory Quantifier First-order logic FO Generalized quantifier
53	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:16:49 Software engineering Computer programming Programming language theory Data types Subroutines Functional programming Type theory Procedural programming languages Higher-order function Option type ALGOL 68 Technical University of Denmark
54	Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Abstract data types Computing Software engineering Process calculi Inter-process communication Message queue Monitor Economy Queueing theory Priority queue Queue -calculus
55	Graph-coloring ideals Nullstellensatz certificates, Gröbner bases for chordal graphs, and hardness of Gröbner bases David Rolnick Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-08-17 07:00:17 Mathematics Algebra Graph coloring Abstract algebra Computer algebra Algebraic geometry Commutative algebra Grbner basis Invariant theory Monomial order Polynomial
56	week ending 23 OCTOBER 2015 PHYSICAL REVIEW LETTERS PRL 115, ) Add to Reading List Source URL: www.thp.uni-koeln.de Language: English - Date: 2015-10-23 02:08:55 Physics Condensed matter physics Materials science Majorana fermion Quantum spin liquid Fermi surface Crystal BCS theory Topological order
57	f Sma l l oundat ion THEORY OF CHANGE THE MACRO-LEVEL ECOSYSTEM c Peace, order, political stability Add to Reading List Source URL: www.smallfoundation.ie Language: English - Date: 2014-11-06 11:46:17 Sustainable development International development
58	GTE: A Distributional Second-Order Co-Occurrence Approach to Improve the Identification of Top Relevant Dates in Web Snippets 21st ACM International Conference on Information and Knowledge Management (CIKMMaui, Ha Add to Reading List Source URL: www.ccc.ipt.pt Language: English Computational linguistics Statistical distance Information retrieval Information science Information retrieval evaluation Measure theory Semantic similarity Normalized Google distance Ranking SrensenDice coefficient Query expansion Vector space model
59	MEAN DIMENSION AND AN EMBEDDING PROBLEM: AN EXAMPLE ELON LINDENSTRAUSS, MASAKI TSUKAMOTO Abstract. For any positive integer D, we construct a minimal dynamical system with mean dimension equal to D/2 that cannot be embed Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2013-08-09 05:15:48 Mathematics Mathematical analysis Algebra Functions and mappings Stochastic processes Algebraic geometry Differential topology Embedding Order theory Mixing Ample line bundle Mean dimension
60	1 Documenta Math. Second Order Freeness and Fluctuations of Random Matrices III. Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2007-04-30 16:11:31 Mathematical analysis Probability theory Probability Free probability theory Functional analysis Algebra of random variables Cumulant Matrix theory Free probability Noncrossing partition Matrix Trace